Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
511	Transcendental syntax 2.0 Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] February 14, 2012 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2012-02-14 09:23:43 Non-classical logic Model theory Boolean algebra Deontic logic Modal logic Paraconsistent logic Negation Linear logic First-order logic Logic Mathematical logic Philosophical logic
512	J Log Lang Inf[removed]:357–362 DOI[removed]s10849[removed]Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop Jakub Szymanik · Rineke Verbrugge Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-03-04 09:39:48 Cognition Interdisciplinary fields Cognitive psychology Scientific modeling Non-classical logic Logic Cognitive architecture Psychology of reasoning Cognitive model Science Cognitive science Ethology
513	Synthese[removed]:371–408 DOI[removed]s11229[removed]Exploring the tractability border in epistemic tasks Cédric Dégremont · Lena Kurzen · Jakub Szymanik Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-03-11 16:51:33 Philosophical logic Model theory Non-classical logic Epistemic modal logic Common knowledge Kripke semantics Closure Interpretation Logic Mathematical logic Modal logic
514	Project proposal Generic Decision Procedures for Many-valued Logics Acci´on Integrada Hispano-Austr´ıacas Gernot Salzer Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-09-21 05:04:02 Fuzzy logic Logic in computer science Many-valued logic Model theory Automated theorem proving First-order logic Natural deduction Modal logic Łukasiewicz logic Logic Mathematical logic Non-classical logic
515	Publications Piron 1. M. Inagaki, G. Wanders and C. Piron 1954; “Th´eor`eme H et unitarit´e de S” Helv. Phys. Acta[removed]C. Piron, M.Gailloud and M. Biasutti 1959; “Section efficace de cr´eation directe d Add to Reading List Source URL: www.phytheomat.ch Language: English - Date: 2007-05-08 08:25:10 Mathematical logic Non-classical logic Quantum logic Quantum measurement Physics Quantum mechanics Logic
516	MUltseq: Sequents, Equations, and Beyond? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, [removed] 2 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:39:33 Non-classical logic Logic in computer science Propositional calculus Sequent Intuitionistic logic Many-valued logic Admissible rule Natural deduction Mathematical logic Logic Proof theory
517	Microsoft Word - gst05a08.doc Add to Reading List Source URL: holonomic.net Language: English - Date: 2014-02-16 18:14:21 Reasoning Epistemology Ancient Greek philosophers Non-classical logic Belief Existence Modal logic Reason Socrates Logic Philosophy Knowledge
518	Semantic Penumbra: Concept Similarity in Logic [removed]John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2014-01-08 11:28:11 Propositional calculus Logical consequence Mathematical logic Entailment Paraconsistent logic First-order logic Interpretation Modal logic Relevance logic Logic Philosophical logic Non-classical logic
519	Dialectical Considerations on the Logic of Contradiction: Part I John Woods Department of Philosophy University of British Columbia 1866 Main Mall Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2014-01-08 11:28:26 Non-classical logic Rules of inference Paraconsistent logic Dialetheism Liar paradox Contradiction Trivialism Principle of explosion Law of noncontradiction Logic Philosophical logic Mathematical logic

UPDATE